581. Software product lines : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedings
پدیدآورنده : Henk Obbink, Klaus Pohl )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3714
582. #Software reuse and reverse engineering in practice
پدیدآورنده : #edited by P.A.V. Hall
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Computer software- Reusability- Congresses ،Software engineering- Congresses
رده :
#
TA
،#.
S6
583. Software science and engineering : Selected Papers from the Kyoto Symposia
پدیدآورنده : edited by Ikuo Nakata, Masami Hagiya
کتابخانه: (طهران)
موضوع : Computer software Congresses, Software engineering Congresses
رده :
QA
76
.
754
.
S6472
1991
584. Software systems in Engineering 1995 : Presented at the Energy and Environmental Expo 95-The Energy-Sources Technology Conference and Exhibition Houston, Texas, January 29-February 1, 1995
پدیدآورنده : Sponsored by the Petroleum Division, ASME; edited by Daniel Cooke...]et. al.[
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
E53
1995
585. Software systems in engineering : presented at the Energy-Sources Technology Conference, New Orleans, Louisiana, January 23-26, 1994
پدیدآورنده : sponsored by the Petroleum Division, ASME ; edited by Murat M. Tanik, Wilhelm Rossak, Daniel E. Cooke
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Systems engineering - Congresses
رده :
QA
76
.
758
.
S6563
1994
586. Software systems safety /
پدیدآورنده : edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Software engineering, Congresses.,Systems software-- Safety measures, Congresses.
587. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
588. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
589. Software technologies :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
590. Software technologies for embedded and ubiquitous systems
پدیدآورنده : Sunggu Lee, Priya Narasimhan (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses,Ubiquitous computing, Congresses
رده :
TK7895
.
E42
S48
2009eb
591. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
592. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامهنویسی -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,برنامهنویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
593. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
594. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
پدیدآورنده : edited by R. N. Horspool
کتابخانه: (طهران)
موضوع : Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
595. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,مهندسی نرم افزار ,نرمافزار -- تولید -- کنگره ها ,نرم افزار -- کنترل کیفیت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
596. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
597. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
598. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
599. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
600. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
493-494